Intelligent Knowledge Database (IKD) Tool for Formal Methods

Intelligent Knowledge Database (ikd) Tool for Formalmethods

This paper discusses the Intelligent Knowledge Database (IKD) tool generated for formal methods. The knowledge database provides the information regarding the existing formal methods in the area of academia, industry and R&D sectors. The tool provides complete information about the formal methods adopted in the conventional or model-based approach, in the various phases of the software developm...

Tool support for formal methods

Although the potential users of theorem proving systems are numerous, automated theorem provers are less widely used than they might be in the formal methods community. Many proofs of correctness, of both software and hardware, have been carried out by skilled users, but in an ideal world all programs would be proved correct before use; in practice few software developers other than those engag...

DBSitter: An Intelligent Tool for Database Administration

Database administration routines involve manual or semi-automatic methods for monitoring the environment and solving problems that arise. In this work, we propose a novel alternative approach to this task, which unifies two Artificial Intelligence techniques: Case Based Reasoning and Intelligent Agents. Thus, DBSitter consists of a Multi-Agent system for automatic monitoring and fault correctin...

Formal Methods Tool Qualification

Formal methods in knowledge engineering

This paper presents a general discussion of the role of formal methods in Knowledge Engineering. We give an historical account of the development of the eld of Knowledge Engineering towards the use of formal methods. Subsequently, we discuss the pro's and cons of formal methods. We do this by summarising the proclaimed advantages, and by arguing against some of the commonly heard objections aga...